TAGs: subtraction rules